Grigore Roşu: αναζήτηση στον ιστότοπο της Z-Library

Ελεύθερη πρόσβαση στη γνώση και τον πολιτισμό.

Don't use scam websites

Βιβλία (17)
Τα πιο δημοφιλή
Λίστα
- Λίστα
- Πίνακας

1

Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022, Part I

Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022, Part I

Dana Fisman, Grigore Rosu

Έτος:

2022

Γλώσσα:

english

Αρχείο:

PDF, 19.52 MB

0 / 5.0

english, 2022

2

Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022, Part II

Tools and Algorithms for the Construction and Analysis of Systems. 28th International Conference, TACAS 2022 Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2022 Munich, Germany, April 2–7, 2022, Part II

Dana Fisman, Grigore Rosu

Έτος:

2022

Γλώσσα:

english

Αρχείο:

PDF, 15.67 MB

0 / 5.0

english, 2022

3

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008 Proceedings

Springer-Verlag Berlin Heidelberg

Rajeev Alur (auth.), José Meseguer, Grigore Roşu (eds.)

Έτος:

2008

Γλώσσα:

english

Αρχείο:

PDF, 8.73 MB

0 / 0

english, 2008

4

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 12.00 MB

0 / 0

english, 2004

5

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

Έτος:

2006

Γλώσσα:

english

Αρχείο:

PDF, 4.58 MB

0 / 0

english, 2006

6

Programming Language Semantics (Lectures Slides)

Programming Language Semantics (Lectures Slides)

University of Illinois

Έτος:

2018

Γλώσσα:

english

Αρχείο:

PDF, 852 KB

0 / 0

english, 2018

7

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

PDF, 4.40 MB

0 / 0

english, 2004

8

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

Έτος:

2011

Γλώσσα:

english

Αρχείο:

PDF, 4.28 MB

0 / 0

english, 2011

9

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

Algebraic Methodology and Software Technology: 12th International Conference, AMAST 2008 Urbana, IL, USA, July 28-31, 2008, Proceedings (Lecture Notes ... / Programming and Software Engineering)

José Meseguer, Grigore Rosu

Έτος:

2008

Γλώσσα:

english

Αρχείο:

PDF, 9.87 MB

0 / 0

english, 2008

10

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Automated Reasoning: Second International Joint Conference, IJCAR 2004, Cork, Ireland, July 4-8, 2004. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), David Basin, Michaël Rusinowitch (eds.)

Έτος:

2004

Γλώσσα:

english

Αρχείο:

DJVU, 9.11 MB

0 / 0

english, 2004

11

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Έτος:

2010

Γλώσσα:

english

Αρχείο:

PDF, 6.93 MB

0 / 0

english, 2010

12

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Fundamentals of Computation Theory: 18th International Symposium, FCT 2011, Oslo, Norway, August 22-25, 2011. Proceedings

Springer-Verlag Berlin Heidelberg

José Meseguer, Grigore Roşu (auth.), Olaf Owe, Martin Steffen, Jan Arne Telle (eds.)

Έτος:

2011

Γλώσσα:

english

Αρχείο:

PDF, 4.58 MB

0 / 0

english, 2011

13

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Formal Approaches to Software Testing and Runtime Verification: First Combined International Workshops, FATES 2006 and RV 2006, Seattle, WA, USA, August 15-16, 2006, Revised Selected Papers

Springer-Verlag Berlin Heidelberg

Wolfgang Grieskamp (auth.), Klaus Havelund, Manuel Núñez, Grigore Roşu, Burkhart Wolff (eds.)

Έτος:

2006

Γλώσσα:

english

Αρχείο:

PDF, 3.07 MB

0 / 0

english, 2006

14

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 3.22 MB

0 / 0

english, 2012

15

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Έτος:

2010

Γλώσσα:

english

Αρχείο:

PDF, 6.78 MB

0 / 0

english, 2010

16

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Runtime Verification: First International Conference, RV 2010, St. Julians, Malta, November 1-4, 2010. Proceedings

Springer-Verlag Berlin Heidelberg

Chris Ackermann, Rance Cleaveland, Samuel Huang, Arnab Ray, Charles Shelton (auth.), Howard Barringer, Ylies Falcone, Bernd Finkbeiner, Klaus Havelund, Insup Lee, Gordon Pace, Grigore Roşu, Oleg Sokolsky, Nikolai Tillmann (eds.)

Έτος:

2010

Γλώσσα:

english

Αρχείο:

PDF, 6.98 MB

0 / 0

english, 2010

17

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6.1 International Conference, FMOODS 2012 and 32nd IFIP WG 6.1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012. Proceedings

Springer-Verlag Berlin Heidelberg

Michael Lienhardt, Ivan Lanese (auth.), Holger Giese, Grigore Rosu (eds.)

Έτος:

2012

Γλώσσα:

english

Αρχείο:

PDF, 3.29 MB

0 / 0

english, 2012